Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
- Författare
- (Edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2016 | Tyskland, Cham | XVII, 486 sidor. 144 illus. online resource. | 978-3-319-47846-3 |